Madelaine, Eric: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 ||

Lanese, Ivan, Madelaine, Eric

Year:

2015

Language:

english

File:

PDF, 26.16 MB

english, 2015

2

Model-checking Distributed Components: The Vercors Platform

Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 536 KB

english, 2007

3

Unifying Architectural and Behavioural Specifications of Distributed Components

Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

4

Transparent First-class Futures and Distributed Components

Antonio Cansado, Ludovic Henrio, Eric Madelaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

5

Semi-wild palm groves reveal agricultural change in the forest region of Guinea

Cécile Madelaine, Eric Malézieux, Nicole Sibelet, Raphaël J. Manlay

Journal:

Agroforestry Systems

Year:

2008

Language:

english

File:

PDF, 411 KB

english, 2008

6

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine

Journal:

annals of telecommunications - annales des télécommunications

Year:

2009

Language:

english

File:

PDF, 1.22 MB

english, 2009

7

Verification of Distributed Hierarchical Components

Tomás Barros, Ludovic Henrio, Eric Madelaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 423 KB

english, 2006

8

Preface

Markus Lumpe, Eric Madelaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 102 KB

english, 2008

9

Altered signaling pathways underlying abnormal hippocampal synaptic plasticity in the Ts65Dn mouse model of Down syndrome

Richard J. Siarey, Angelina Kline-Burgess, Madelaine Cho, Andrea Balbo, Tyler K. Best, Chie Harashima, Eric Klann, Zygmunt Galdzicki

Journal:

Journal of Neurochemistry

Year:

2006

Language:

english

File:

PDF, 267 KB

english, 2006

10

Altered signaling pathways underlying abnormal hippocampal synaptic plasticity in the Ts65Dn mouse model of Down syndrome

Richard J. Siarey, Angelina Kline-Burgess, Madelaine Cho, Andrea Balbo, Tyler K. Best, Chie Harashima, Eric Klann, Zygmunt Galdzicki

Journal:

Journal of Neurochemistry

Year:

2006

Language:

english

File:

PDF, 34 KB

english, 2006

11

Bivalent binding of a neutralising antibody to a calicivirus involves the torsional flexibility of the antibody hinge

Eric Thouvenin, Sylvie Laurent, Marie-Françoise Madelaine, Denis Rasschaert, Jean-François Vautherot, Elizabeth A Hewat

Journal:

Journal of Molecular Biology

Year:

1997

Language:

english

File:

PDF, 1.54 MB

english, 1997

12

Hémodialyse continue avec membrane super high-flux au cours d’un choc septique : application clinique

Madelaine, Thomas, Page, Mathieu, Prothet, Johanne, Ber, Charles-Éric, Crozon, Julien, Allaouchiche, Bernard, Rimmelé, Thomas

Journal:

Néphrologie & Thérapeutique

Year:

2013

File:

PDF, 480 KB

2013

13

Bringing Coq into the World of GCM Distributed Applications

Gaspar, Nuno, Henrio, Ludovic, Madelaine, Eric

Journal:

International Journal of Parallel Programming

Year:

2014

Language:

english

File:

PDF, 596 KB

english, 2014

14

Pegylated liposomal doxorubicin: an efficient treatment in patients with Hodgkin lymphoma relapsing after high dose therapy and stem cell transplation

Clozel, Thomas, Deau, Benedicte, Benet, Claire, Franchi, Patricia, Robin, Marie, Madelaine, Isabelle, Thieblemont, Catherine, de Kerviler, Eric, Brière, Josette, Brice, Pauline

Journal:

British Journal of Haematology

Year:

2013

Language:

english

File:

PDF, 68 KB

english, 2013

15

[IEEE XXVI International Conference of the Chilean Society of Computer Science (SCCC'07) - Iquique, Chile (2007.11.8-2007.11.9)] XXVI International Conference of the Chilean Society of Computer Science (SCCC'07) - Specifying Fractal and GCM Components with UML

Ahumada, Solange, Apvrille, Ludovic, Barros, Tom¿as, Cansado, Antonio, Madelaine, Eric, Salageanu, Emil

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

16

Timed-pNets: a communication behavioural semantic model for distributed systems

Chen, Yanwen, Chen, Yixiang, Madelaine, Eric

Journal:

Frontiers of Computer Science

Year:

2015

Language:

english

File:

PDF, 1.25 MB

english, 2015

17

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 5751 || Abstract Interpretation of Symbolic Execution with Explicit State Updates

de Boer, Frank S., Bonsangue, Marcello M., Madelaine, Eric

Year:

2009

Language:

english

File:

PDF, 442 KB

english, 2009

18

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 || Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications

Lanese, Ivan, Madelaine, Eric

Year:

2015

Language:

english

File:

PDF, 2.38 MB

english, 2015

19

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 || Formal Rules for Reliable Component-Based Architecture Evolution

Lanese, Ivan, Madelaine, Eric

Year:

2015

Language:

english

File:

PDF, 3.86 MB

english, 2015

20

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 || Place-Liveness of ComSA Applications

Lanese, Ivan, Madelaine, Eric

Year:

2015

Language:

english

File:

PDF, 868 KB

english, 2015

21

Towards a bisimulation theory for open synchronized networks of automata

Madelaine, Eric, Zhang, Min

Journal:

SCIENCE CHINA Information Sciences

Year:

2016

Language:

english

File:

PDF, 358 KB

english, 2016

22

Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software

Lanese, Ivan, Madelaine, Eric

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 143 KB

english, 2016

23

[IEEE XXVI International Conference of the Chilean Society of Computer Science (SCCC'07) - Iquique, Chile (2007.11.8-2007.11.9)] XXVI International Conference of the Chilean Society of Computer Science (SCCC'07) - Specifying Fractal and GCM Components with UML

Ahumada, Solange, Apvrille, Ludovic, Barros, Tom´as, Cansado, Antonio, Madelaine, Eric, Salageanu, Emil

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

24

RBC transfusion is associated with increased risk of respiratory failure after pneumonectomy

Kidane, Biniam, Plourde, Madelaine, Leydier, Larissa, Chadi, Sami A., Eckert, Kathleen, Srinathan, Sadeesh, Fortin, Dalilah, Frechette, Eric, Inculet, Richard I., Malthaner, Richard A.

Journal:

Journal of Surgical Oncology

Year:

2017

Language:

english

File:

PDF, 139 KB

english, 2017

25

Predator-based psychosocial stress model of PTSD differentially influences voluntary ethanol consumption depending on methodology

Zoladz, Phillip R., Eisenmann, Eric D., Rose, Robert M., Kohls, Brooke A., Johnson, Brandon L., Robinson, Kiera L., Heikkila, Megan E., Mucher, Kasey E., Huntley, Madelaine R.

Journal:

Year:

2018

Language:

english

File:

PDF, 621 KB

english, 2018

26

Myocardial hypersensitivity to ischemic injury is not reversed by clonidine or propranolol in a predator-based rat model of posttraumatic stress disorder

Rorabaugh, Boyd R., Bui, Albert D., Seeley, Sarah L., Eisenmann, Eric D., Rose, Robert M., Johnson, Brandon L., Huntley, Madelaine R., Heikkila, Megan E., Zoladz, Phillip R.

Journal:

Progress in Neuro-Psychopharmacology and Biological Psychiatry

Year:

2019

Language:

english

File:

PDF, 790 KB

english, 2019

27

Caregiver–adolescent co-reminiscing and adolescents’ individual recollections of a devastating tornado: Associations with enduring posttraumatic stress symptoms

Hendrickson, Michelle L., Abel, Madelaine R., Vernberg, Eric M., McDonald, Kristina L., Lochman, John E.

Journal:

Development and Psychopathology

Year:

2019

File:

PDF, 235 KB

2019

28

Caregiver–adolescent co-reminiscing and adolescents’ individual recollections of a devastating tornado: Associations with enduring posttraumatic stress symptoms

Hendrickson, Michelle L., Abel, Madelaine R., Vernberg, Eric M., McDonald, Kristina L., Lochman, John E.

Journal:

Development and Psychopathology

Year:

2019

Language:

english

File:

PDF, 235 KB

english, 2019

29

Selected and extended papers from FACS 2016

Kouchnarenko, Olga, Madelaine, Eric

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 137 KB

english, 2019

30

SMT-based generation of symbolic automata

Qin, Xudong, Bliudze, Simon, Madelaine, Eric, Hou, Zechen, Deng, Yuxin, Zhang, Min

Journal:

Acta Informatica

Year:

2020

File:

PDF, 1.17 MB

2020

31

Plant science decadal vision 2020â2030: Reimagining the potential of plants for a healthy and sustainable future

Henkhaus, Natalie, Bartlett, Madelaine, Gang, David, Grumet, Rebecca, JordonâThaden, Ingrid, Lorence, Argelia, Lyons, Eric, Miller, Samantha, Murray, Seth, Nelson, Andrew, Specht, Chelsea, Tyler, Br

Journal:

Year:

2020

File:

PDF, 4.62 MB

2020